Important work was done by Errett Bishop, who managed to prove versions of the most important theorems in real analysis as constructive analysis in his 1967 Foundations of Constructive Analysis. Công việc quan trọng được thực hiện bởi Errett Bishop, người đã cố gắng chứng minh các phiên bản của các định lý quan trọng nhất trong phân tích thực như phân tích mang tính xây dựng trong Cơ sở Phân tích Xây dựng năm 1967 của ông .